Fundamental constants like e and π are ubiquitous in diverse fields of science, including physics, biology, chemistry, geometry, and abstract mathematics. Nevertheless, for centuries new mathematical formulas relating fundamental constants are scarce and are usually discovered sporadically by mathematical intuition or ingenuity. The Ramanujan Machine is a novel way to do mathematics by harnessing your computer power to make new discoveries. The Ramanujan Machine already discovered dozens of new conjectures. Our algorithms search for new mathematical formulas. The community can suggest proofs for the conjectures or even propose or develop new algorithms.

Researchers from the UK and Switzerland have found a mathematical means of helping regulators and business police Artificial Intelligence systems' biases towards making unethical, and potentially very costly and damaging choices. The collaborators from the University of Warwick, Imperial College London, and EPFL – Lausanne, along with the strategy firm Sciteb Ltd, believe that in an environment in which decisions are increasingly made without human intervention, there is a very strong incentive to know under what circumstances AI systems might adopt an unethical strategy--and to find and reduce that risk, or eliminate entirely, if possible. Artificial intelligence (AI) is increasingly deployed in commercial situations. Consider for example using AI to set prices of insurance products to be sold to a particular customer. There are legitimate reasons for setting different prices for different people, but it may also be more profitable to make certain decisions that end up hurting the company.

Artificial intelligence (AI) is increasingly deployed in commercial situations.